1.
پدیدآورنده : Prepared by the Mathematics Foundation Course Team
کتابخانه: کتابخانه دانشکده روانشناسی و علوم تربیتی دانشگاه تهران (طهران)
موضوع : Logic , symbolic and mathematical
رده :
BC
,
135
,.
O6
2. A Boolean algebra, abstract and concrete
پدیدآورنده : Bowran, A. P.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Algebra, Boolean
رده :
QA
266
.
B6
3. A Boolean algebra, abstract and concrete
پدیدآورنده : Bowran, A. P.
موضوع : ، Algebra, Boolean
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
4. A first course in logic /
پدیدآورنده : Mark V. Lawson, Heriot-Watt University, Edinburgh.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical, Problems, exercises, etc.,Logic.,Logic, Symbolic and mathematical.,Logic.,MATHEMATICS-- General.
رده :
QA9
.
L37256
2018eb
5. A static microeconomic model of pure competition
پدیدآورنده : Christoph Klein.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Competition -- Econometric models.,Econometric models.,Modèles économétriques.
رده :
HB141
.
C475
1988
6. APPLIED BOOLEAN ALGEBRA AN ELEMENTARY INTRODUCTION
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشكده نفت اهواز (خوزستان)
موضوع :
رده :
QA
,.
266
,
H62
7. AQA A level Computer Science.
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Problems, exercises, etc.,Computer science.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
رده :
QA76
8. Advanced BDD optimization
پدیدآورنده : / by Rudiger Ebendt, Gorschwin Fey and Rolf Drechsler
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Decision making- Mathematical models,Decision trees,Logic design- Mathematics,Algebra, Boolean
رده :
T57
.
95
.
E24
2005
9. Advanced BDD optimization
پدیدآورنده : Ebendt, Rudiger
کتابخانه: (طهران)
موضوع : Mathematical models ، Decision making,، Decision trees,Mathematics ، Logic design,، Algebra, Boolean
رده :
T
57
.
95
.
E23A3
10. Advanced Boolean techniques :
پدیدآورنده : editors, Rolf Drechsler and Mathias Soeken.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra, Boolean, Congresses.,Algebra, Boolean.
رده :
QA10
.
3
.
I58
2018eb
11. Advanced Boolean techniques :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Algebra, Boolean ;
12. Advances in ring theory /
پدیدآورنده : Dinh Van Huynh, Sergio R. López-Permouth, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Rings (Algebra),MATHEMATICS-- Algebra-- Intermediate.,Rings (Algebra)
رده :
QA247
.
A38
2010
13. Algebra
پدیدآورنده : / John Tabak
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Algebra, History
رده :
QA151
.
T33
2004
14. Algebra de Boole, schemas electriques automatismes
پدیدآورنده : Clement, R
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Algebra, Boolean
رده :
QA
266
.
C54
1969
15. Algebra of Conscience :
پدیدآورنده : by Vladimir A. Lefebvre.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Ethics.,Philosophy (General)
رده :
BJ1031
.
B985
1982
16. Algebraic Combinatoric
پدیدآورنده : / by Richard P. Stanley
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Mathematics,Combinatorics,Electronic books
رده :
E-BOOK
17. Algebraic Foundations of Many-Valued Reasoning
پدیدآورنده : by Roberto L. O. Cignoli, Itala M. L. D'Ottaviano, Daniele Mundici.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra.,Artificial intelligence.,Computational complexity.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
18. Algebraic and stochastic coding theory /
پدیدآورنده : Dave K. Kythe, Prem K. Kythe
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Coding theory,Stochastic analysis
رده :
QA268
.
K98
2012
19. Algebraic methods of mathematical logic
پدیدآورنده : Rieger, Ladislav
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Algebra, Boolean
رده :
QA
9
.
R6413
20. Algebraic methods of mathematical logic
پدیدآورنده : RIEGER,LADISLAV
کتابخانه: (طهران)
موضوع : LOGIC,SYMBOLIC & MATHEMATICAL , ALGEBRA,BOOLEAN
رده :
QA
9
.
R6413